predicate lock